Monadic partition logics and finite automata
نویسندگان
چکیده
منابع مشابه
Partition logics of automata
We introduce a new type of orthomodular poset which is obtained by considering the pasting of partitions of a set. These partition logics appear in the experimental investigation of finite automata and can be related to certain quantum mechanical systems.
متن کاملPartition Logics, Orthoalgebras and Automata
We investigate the orthoalgebras of certain non-Boolean models which have a classical realization. Our particular concern will be the partition logics arising from the investigation of the empirical propositional structure of Moore and Mealy type automata.
متن کاملProduct of Partition Logics, Orthoalgebras and Automata
We attempt to define a coupled system consisting of two partition logics and we introduce a product of partition logics. These partition logics have a close connection with Moore and Mealy type automata. We show how the coupled system of two automata is connected with the product of partition logics, and persent some illustrative examples.
متن کاملFinite state automata and monadic definability of singular cardinals
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formula over the ordinals. A formula φ is monadic second order (monadic for short) if each of its variables is assigned a type, either the type “first order” or the type “second order.” When interpreting the formula over a...
متن کاملMonadic Fuzzy Predicate Logics
Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to nite model property (properties) and arithmetical complexity of sets of tautologies, satis-able formulas and of analogous notion restricted to nite models.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1996
ISSN: 0304-3975
DOI: 10.1016/0304-3975(95)00113-1